Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
901	Practical Programming, 2nd Edition Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-09-18 09:51:00 String Formal languages Source code Procedural programming languages String literal Len Python Empty string Eval Computing Software engineering Computer programming
902	Commutative closures of regular languages Commutative closures of regular languages Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2010-08-17 15:33:58 Formal languages Semigroup theory Monoid Free monoid Trace monoid Regular language Trace theory Abstract algebra Category theory Mathematics
903	A lexical analyzer generator for Standard ML. Version 1.6.0, October 1994 Andrew W. Appel1 James S. Mattson David R. Tarditi2 1 Add to Reading List Source URL: mlton.org Language: English - Date: 2014-02-17 13:56:37 Formal languages Compiler construction Parser generators Compiling tools Lex Standard ML String Regular expression Compiler Software engineering Computing Programming language implementation
904	M1 Summer internship report Computer Science Department, Boston College June – August 2010 Advisor: Howard Straubing Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2010-08-17 15:32:16 Formal languages Category theory Algebraic structures Automata theory Syntactic monoid Semiautomaton Monoid Semigroup Quasigroup Abstract algebra Algebra Semigroup theory
905	L3 Summer internship report Laboratoire Bordelais de Recherche en Informatique June – July 2009 Advisors: Anca Muscholl and Marc Zeitoun Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2010-08-17 15:33:38 Algebra Formal languages Algebraic structures Category theory Monoid Free monoid Semigroup Model theory Trace monoid Abstract algebra Semigroup theory Mathematics
906	The Definitive ANTLR 4 Reference Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2012-09-15 16:49:53 Software engineering Software Formal languages ANTLR Compiler construction Compiler-compiler Recursive descent parser Left recursion Top-down parsing Programming language implementation Parser generators Parsing
907	Language-Based Verification Will Change The World Tim Sheard Aaron Stump Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:06 Type theory Logic in computer science Functional languages Data types Formal methods Formal verification Dependent type Isabelle Agda Software engineering Programming language theory Computing
908	The Definitive ANTLR Reference Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2011-04-08 15:42:06 Software Compiler construction Formal languages ANTLR Syntactic predicate Compiler-compiler Irony LL parser Lookahead Programming language implementation Parser generators Parsing
909	Extracted from: Language Implementation Patterns Create Your Own Domain-Specific and General Programming Languages Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2010-01-17 14:45:56 Type theory Data types Formal languages Procedural programming languages Program analysis Type system Type safety C++ Expr Software engineering Computing Computer programming
910	Cooperating Languages - Spreadsheet Example Hesam Samimi This material is based upon work supported in part by the National Science Foundation under Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:15:55 Attribute grammar Computing Spreadsheet Formal languages Parsing

UPDATE